HTML Purifier 4.12.x is a maintenance release which makes
compatibility fixes for PHP 7.4.
